A package to program state machines. See this section in SwingStates tutorial.